Skip to content

Rename socket to socket_id to make TopologyEntry members consistent#854

Closed
rdementi wants to merge 2 commits intomasterfrom
rdementi-test-684628abb516ec3f9770e47e014b249f08151d2e
Closed

Rename socket to socket_id to make TopologyEntry members consistent#854
rdementi wants to merge 2 commits intomasterfrom
rdementi-test-684628abb516ec3f9770e47e014b249f08151d2e

Conversation

@rdementi
Copy link
Copy Markdown
Contributor

No description provided.

@rdementi rdementi marked this pull request as draft October 11, 2024 12:45
@ogbrugge-work
Copy link
Copy Markdown
Contributor

My bad, pushed a fix to the internal repo, can you push it over? @rdementi

@ogbrugge-work ogbrugge-work marked this pull request as ready for review October 11, 2024 17:20
@rdementi
Copy link
Copy Markdown
Contributor Author

LGTM, but will merge via a larger merge with other staged changes

@rdementi rdementi closed this Oct 11, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants